Adaptability checking in complex systems

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adaptability Checking in Multi-Level Complex Systems

A hierarchical model for multi-level adaptive systems is built on two basic levels: a lower behavioural level B accounting for the actual behaviour of the system and an upper structural level S describing the adaptation dynamics of the system. The behavioural level is modelled as a state machine and the structural level as a higher-order system whose states have associated logical formulas (con...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

Enabling Systems and the Adaptability of Complex Systems-of- Systems

For complex techno-social system-of-systems, the system’s robustness and its ability to adapt to changing environments and circumstances over the life cycle of the systems is an important measure of system quality and effectiveness. The IEEE 15288-2004 standard describes the concept of “enabling systems” that provide non-operational services to the systemof-interest at various times in the syst...

متن کامل

Resilience and adaptability of infrastructures – A complex adaptive systems perspective

While we rely on the continuous functioning of infrastructures such as water, electricity and Internet, 100% uptime is not possible. Infrastructure systems must therefore be resilient – they must be capable of flexing in response to disruptions and recovering quickly. In this paper we explore options for supporting infrastructure resilience from a complex adaptive systems perspective. Building ...

متن کامل

On Adaptability in Grid Systems

With the increasing size and complexity, adaptabihty is among the most badly needed properties in today's Grid systems. Adaptabihty refers to the degree to which adjustments in practices, processes, or structures of systems are possible to projected or actual changes of their environment. In this paper, we review concepts, methods, algorithms, and implementations that are deemed useful for desi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science of Computer Programming

سال: 2016

ISSN: 0167-6423

DOI: 10.1016/j.scico.2015.03.004